Optimal. Leaf size=188 \[ 2 \sqrt {x}+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )-\frac {3}{10} \left (1+\sqrt {5}\right ) \log \left (2 \sqrt [3]{x}+\left (1-\sqrt {5}\right ) \sqrt [6]{x}+2\right )-\frac {3}{10} \left (1-\sqrt {5}\right ) \log \left (2 \sqrt [3]{x}+\left (1+\sqrt {5}\right ) \sqrt [6]{x}+2\right )+\frac {3}{5} \sqrt {10-2 \sqrt {5}} \tan ^{-1}\left (\frac {4 \sqrt [6]{x}-\sqrt {5}+1}{\sqrt {10+2 \sqrt {5}}}\right )-\frac {3}{5} \sqrt {10+2 \sqrt {5}} \tan ^{-1}\left (\frac {4 \sqrt [6]{x}+\sqrt {5}+1}{\sqrt {10-2 \sqrt {5}}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.35, antiderivative size = 200, normalized size of antiderivative = 1.06, number of steps used = 8, number of rules used = 8, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.533, Rules used = {341, 321, 294, 634, 618, 204, 628, 31} \[ 2 \sqrt {x}+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )-\frac {3}{10} \left (1+\sqrt {5}\right ) \log \left (2 \sqrt [3]{x}-\sqrt {5} \sqrt [6]{x}+\sqrt [6]{x}+2\right )-\frac {3}{10} \left (1-\sqrt {5}\right ) \log \left (2 \sqrt [3]{x}+\sqrt {5} \sqrt [6]{x}+\sqrt [6]{x}+2\right )+\frac {3}{5} \sqrt {2 \left (5-\sqrt {5}\right )} \tan ^{-1}\left (\frac {4 \sqrt [6]{x}-\sqrt {5}+1}{\sqrt {2 \left (5+\sqrt {5}\right )}}\right )-\frac {3}{5} \sqrt {2 \left (5+\sqrt {5}\right )} \tan ^{-1}\left (\frac {1}{2} \sqrt {\frac {1}{10} \left (5+\sqrt {5}\right )} \left (4 \sqrt [6]{x}+\sqrt {5}+1\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 204
Rule 294
Rule 321
Rule 341
Rule 618
Rule 628
Rule 634
Rubi steps
\begin {align*} \int \frac {\sqrt [3]{x}}{-1+x^{5/6}} \, dx &=6 \operatorname {Subst}\left (\int \frac {x^7}{-1+x^5} \, dx,x,\sqrt [6]{x}\right )\\ &=2 \sqrt {x}+6 \operatorname {Subst}\left (\int \frac {x^2}{-1+x^5} \, dx,x,\sqrt [6]{x}\right )\\ &=2 \sqrt {x}-\frac {6}{5} \operatorname {Subst}\left (\int \frac {1}{1-x} \, dx,x,\sqrt [6]{x}\right )-\frac {12}{5} \operatorname {Subst}\left (\int \frac {\frac {1}{4} \left (-1-\sqrt {5}\right )+\frac {1}{4} \left (1+\sqrt {5}\right ) x}{1+\frac {1}{2} \left (1-\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )-\frac {12}{5} \operatorname {Subst}\left (\int \frac {\frac {1}{4} \left (-1+\sqrt {5}\right )+\frac {1}{4} \left (1-\sqrt {5}\right ) x}{1+\frac {1}{2} \left (1+\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )\\ &=2 \sqrt {x}+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )+\frac {3 \operatorname {Subst}\left (\int \frac {1}{1+\frac {1}{2} \left (1-\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )}{\sqrt {5}}-\frac {3 \operatorname {Subst}\left (\int \frac {1}{1+\frac {1}{2} \left (1+\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )}{\sqrt {5}}-\frac {1}{10} \left (3 \left (1-\sqrt {5}\right )\right ) \operatorname {Subst}\left (\int \frac {\frac {1}{2} \left (1+\sqrt {5}\right )+2 x}{1+\frac {1}{2} \left (1+\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )-\frac {1}{10} \left (3 \left (1+\sqrt {5}\right )\right ) \operatorname {Subst}\left (\int \frac {\frac {1}{2} \left (1-\sqrt {5}\right )+2 x}{1+\frac {1}{2} \left (1-\sqrt {5}\right ) x+x^2} \, dx,x,\sqrt [6]{x}\right )\\ &=2 \sqrt {x}+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )-\frac {3}{10} \left (1+\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}-\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right )-\frac {3}{10} \left (1-\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}+\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right )-\frac {6 \operatorname {Subst}\left (\int \frac {1}{\frac {1}{2} \left (-5-\sqrt {5}\right )-x^2} \, dx,x,\frac {1}{2} \left (1-\sqrt {5}\right )+2 \sqrt [6]{x}\right )}{\sqrt {5}}+\frac {6 \operatorname {Subst}\left (\int \frac {1}{\frac {1}{2} \left (-5+\sqrt {5}\right )-x^2} \, dx,x,\frac {1}{2} \left (1+\sqrt {5}\right )+2 \sqrt [6]{x}\right )}{\sqrt {5}}\\ &=2 \sqrt {x}+6 \sqrt {\frac {2}{5 \left (5+\sqrt {5}\right )}} \tan ^{-1}\left (\frac {1-\sqrt {5}+4 \sqrt [6]{x}}{\sqrt {2 \left (5+\sqrt {5}\right )}}\right )-\frac {3}{5} \sqrt {2 \left (5+\sqrt {5}\right )} \tan ^{-1}\left (\frac {1}{2} \sqrt {\frac {1}{10} \left (5+\sqrt {5}\right )} \left (1+\sqrt {5}+4 \sqrt [6]{x}\right )\right )+\frac {6}{5} \log \left (1-\sqrt [6]{x}\right )-\frac {3}{10} \left (1+\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}-\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right )-\frac {3}{10} \left (1-\sqrt {5}\right ) \log \left (2+\sqrt [6]{x}+\sqrt {5} \sqrt [6]{x}+2 \sqrt [3]{x}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.01, size = 22, normalized size = 0.12 \[ -2 \sqrt {x} \left (\, _2F_1\left (\frac {3}{5},1;\frac {8}{5};x^{5/6}\right )-1\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 2.76, size = 638, normalized size = 3.39 \[ \frac {1}{10} \, {\left (3 \, \sqrt {5} - \sqrt {-\frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{2} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} - 3\right )} {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} - \frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 18 \, \sqrt {2} \sqrt {\sqrt {5} - 5} + 18 \, \sqrt {5} - 90} - 3\right )} \log \left (\frac {9}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 3 \, \sqrt {-\frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{2} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} - 3\right )} {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} - \frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 18 \, \sqrt {2} \sqrt {\sqrt {5} - 5} + 18 \, \sqrt {5} - 90} {\left (\sqrt {5} - 1\right )} + 72 \, x^{\frac {1}{6}} + 36\right ) + \frac {1}{10} \, {\left (3 \, \sqrt {5} + \sqrt {-\frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{2} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} - 3\right )} {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} - \frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 18 \, \sqrt {2} \sqrt {\sqrt {5} - 5} + 18 \, \sqrt {5} - 90} - 3\right )} \log \left (\frac {9}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} - 3 \, \sqrt {-\frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + \frac {9}{2} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} - 3\right )} {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} - \frac {27}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 18 \, \sqrt {2} \sqrt {\sqrt {5} - 5} + 18 \, \sqrt {5} - 90} {\left (\sqrt {5} - 1\right )} + 72 \, x^{\frac {1}{6}} + 36\right ) - \frac {3}{10} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )} \log \left (-\frac {9}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} + \sqrt {5} + 1\right )}^{2} + 36 \, x^{\frac {1}{6}}\right ) + \frac {3}{10} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )} \log \left (-\frac {9}{4} \, {\left (\sqrt {2} \sqrt {\sqrt {5} - 5} - \sqrt {5} - 1\right )}^{2} + 36 \, x^{\frac {1}{6}}\right ) + 2 \, \sqrt {x} + \frac {6}{5} \, \log \left (x^{\frac {1}{6}} - 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.47, size = 139, normalized size = 0.74 \[ \frac {3}{5} \, \sqrt {-2 \, \sqrt {5} + 10} \arctan \left (-\frac {\sqrt {5} - 4 \, x^{\frac {1}{6}} - 1}{\sqrt {2 \, \sqrt {5} + 10}}\right ) - \frac {3}{5} \, \sqrt {2 \, \sqrt {5} + 10} \arctan \left (\frac {\sqrt {5} + 4 \, x^{\frac {1}{6}} + 1}{\sqrt {-2 \, \sqrt {5} + 10}}\right ) + \frac {3}{10} \, \sqrt {5} \log \left (\frac {1}{2} \, x^{\frac {1}{6}} {\left (\sqrt {5} + 1\right )} + x^{\frac {1}{3}} + 1\right ) - \frac {3}{10} \, \sqrt {5} \log \left (-\frac {1}{2} \, x^{\frac {1}{6}} {\left (\sqrt {5} - 1\right )} + x^{\frac {1}{3}} + 1\right ) + 2 \, \sqrt {x} - \frac {3}{10} \, \log \left (x^{\frac {2}{3}} + \sqrt {x} + x^{\frac {1}{3}} + x^{\frac {1}{6}} + 1\right ) + \frac {6}{5} \, \log \left ({\left | x^{\frac {1}{6}} - 1 \right |}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 175, normalized size = 0.93 \[ \frac {12 \sqrt {5}\, \arctan \left (\frac {4 x^{\frac {1}{6}}+1-\sqrt {5}}{\sqrt {10+2 \sqrt {5}}}\right )}{5 \sqrt {10+2 \sqrt {5}}}-\frac {12 \sqrt {5}\, \arctan \left (\frac {4 x^{\frac {1}{6}}+1+\sqrt {5}}{\sqrt {10-2 \sqrt {5}}}\right )}{5 \sqrt {10-2 \sqrt {5}}}+\frac {6 \ln \left (x^{\frac {1}{6}}-1\right )}{5}-\frac {3 \sqrt {5}\, \ln \left (2 x^{\frac {1}{3}}+x^{\frac {1}{6}}-\sqrt {5}\, x^{\frac {1}{6}}+2\right )}{10}-\frac {3 \ln \left (2 x^{\frac {1}{3}}+x^{\frac {1}{6}}-\sqrt {5}\, x^{\frac {1}{6}}+2\right )}{10}+\frac {3 \sqrt {5}\, \ln \left (2 x^{\frac {1}{3}}+x^{\frac {1}{6}}+\sqrt {5}\, x^{\frac {1}{6}}+2\right )}{10}-\frac {3 \ln \left (2 x^{\frac {1}{3}}+x^{\frac {1}{6}}+\sqrt {5}\, x^{\frac {1}{6}}+2\right )}{10}+2 \sqrt {x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 1.19, size = 272, normalized size = 1.45 \[ -\frac {6}{5} \, \left (-1\right )^{\frac {3}{5}} \log \left (\left (-1\right )^{\frac {1}{5}} + x^{\frac {1}{6}}\right ) - \frac {6 \, \sqrt {5} \left (-1\right )^{\frac {3}{5}} \log \left (\frac {\sqrt {5} \left (-1\right )^{\frac {1}{5}} + \left (-1\right )^{\frac {1}{5}} \sqrt {2 \, \sqrt {5} - 10} + \left (-1\right )^{\frac {1}{5}} - 4 \, x^{\frac {1}{6}}}{\sqrt {5} \left (-1\right )^{\frac {1}{5}} - \left (-1\right )^{\frac {1}{5}} \sqrt {2 \, \sqrt {5} - 10} + \left (-1\right )^{\frac {1}{5}} - 4 \, x^{\frac {1}{6}}}\right )}{5 \, \sqrt {2 \, \sqrt {5} - 10}} + \frac {6 \, \sqrt {5} \left (-1\right )^{\frac {3}{5}} \log \left (\frac {\sqrt {5} \left (-1\right )^{\frac {1}{5}} - \left (-1\right )^{\frac {1}{5}} \sqrt {-2 \, \sqrt {5} - 10} - \left (-1\right )^{\frac {1}{5}} + 4 \, x^{\frac {1}{6}}}{\sqrt {5} \left (-1\right )^{\frac {1}{5}} + \left (-1\right )^{\frac {1}{5}} \sqrt {-2 \, \sqrt {5} - 10} - \left (-1\right )^{\frac {1}{5}} + 4 \, x^{\frac {1}{6}}}\right )}{5 \, \sqrt {-2 \, \sqrt {5} - 10}} + 2 \, \sqrt {x} + \frac {6 \, \log \left (-x^{\frac {1}{6}} {\left (\sqrt {5} \left (-1\right )^{\frac {1}{5}} + \left (-1\right )^{\frac {1}{5}}\right )} + 2 \, \left (-1\right )^{\frac {2}{5}} + 2 \, x^{\frac {1}{3}}\right )}{5 \, {\left (\sqrt {5} \left (-1\right )^{\frac {2}{5}} + \left (-1\right )^{\frac {2}{5}}\right )}} - \frac {6 \, \log \left (x^{\frac {1}{6}} {\left (\sqrt {5} \left (-1\right )^{\frac {1}{5}} - \left (-1\right )^{\frac {1}{5}}\right )} + 2 \, \left (-1\right )^{\frac {2}{5}} + 2 \, x^{\frac {1}{3}}\right )}{5 \, {\left (\sqrt {5} \left (-1\right )^{\frac {2}{5}} - \left (-1\right )^{\frac {2}{5}}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.12, size = 223, normalized size = 1.19 \[ \frac {6\,\ln \left (1296\,x^{1/6}-1296\right )}{5}-\ln \left (-750\,x^{1/6}\,{\left (\frac {3\,\sqrt {2}\,\sqrt {-\sqrt {5}-5}}{10}-\frac {3\,\sqrt {5}}{10}+\frac {3}{10}\right )}^3-1296\right )\,\left (\frac {3\,\sqrt {2}\,\sqrt {-\sqrt {5}-5}}{10}-\frac {3\,\sqrt {5}}{10}+\frac {3}{10}\right )+\ln \left (750\,x^{1/6}\,{\left (\frac {3\,\sqrt {2}\,\sqrt {-\sqrt {5}-5}}{10}+\frac {3\,\sqrt {5}}{10}-\frac {3}{10}\right )}^3-1296\right )\,\left (\frac {3\,\sqrt {2}\,\sqrt {-\sqrt {5}-5}}{10}+\frac {3\,\sqrt {5}}{10}-\frac {3}{10}\right )-\ln \left (-750\,x^{1/6}\,{\left (\frac {3\,\sqrt {5}}{10}-\frac {3\,\sqrt {2}\,\sqrt {\sqrt {5}-5}}{10}+\frac {3}{10}\right )}^3-1296\right )\,\left (\frac {3\,\sqrt {5}}{10}-\frac {3\,\sqrt {2}\,\sqrt {\sqrt {5}-5}}{10}+\frac {3}{10}\right )-\ln \left (-750\,x^{1/6}\,{\left (\frac {3\,\sqrt {5}}{10}+\frac {3\,\sqrt {2}\,\sqrt {\sqrt {5}-5}}{10}+\frac {3}{10}\right )}^3-1296\right )\,\left (\frac {3\,\sqrt {5}}{10}+\frac {3\,\sqrt {2}\,\sqrt {\sqrt {5}-5}}{10}+\frac {3}{10}\right )+2\,\sqrt {x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 135.83, size = 462, normalized size = 2.46 \[ 2 \sqrt {x} + \frac {6 \log {\left (\sqrt [6]{x} - 1 \right )}}{5} - \frac {3 \log {\left (8 \sqrt [6]{x} + 8 \sqrt {5} \sqrt [6]{x} + 16 \sqrt [3]{x} + 16 \right )}}{10} + \frac {3 \sqrt {5} \log {\left (8 \sqrt [6]{x} + 8 \sqrt {5} \sqrt [6]{x} + 16 \sqrt [3]{x} + 16 \right )}}{10} - \frac {3 \sqrt {5} \log {\left (- 8 \sqrt {5} \sqrt [6]{x} + 8 \sqrt [6]{x} + 16 \sqrt [3]{x} + 16 \right )}}{10} - \frac {3 \log {\left (- 8 \sqrt {5} \sqrt [6]{x} + 8 \sqrt [6]{x} + 16 \sqrt [3]{x} + 16 \right )}}{10} - \frac {3 \sqrt {10} \sqrt {5 - \sqrt {5}} \operatorname {atan}{\left (\frac {2 \sqrt {2} \sqrt [6]{x}}{\sqrt {5 - \sqrt {5}}} + \frac {\sqrt {2}}{2 \sqrt {5 - \sqrt {5}}} + \frac {\sqrt {10}}{2 \sqrt {5 - \sqrt {5}}} \right )}}{10} - \frac {3 \sqrt {2} \sqrt {5 - \sqrt {5}} \operatorname {atan}{\left (\frac {2 \sqrt {2} \sqrt [6]{x}}{\sqrt {5 - \sqrt {5}}} + \frac {\sqrt {2}}{2 \sqrt {5 - \sqrt {5}}} + \frac {\sqrt {10}}{2 \sqrt {5 - \sqrt {5}}} \right )}}{10} - \frac {3 \sqrt {2} \sqrt {\sqrt {5} + 5} \operatorname {atan}{\left (\frac {2 \sqrt {2} \sqrt [6]{x}}{\sqrt {\sqrt {5} + 5}} - \frac {\sqrt {10}}{2 \sqrt {\sqrt {5} + 5}} + \frac {\sqrt {2}}{2 \sqrt {\sqrt {5} + 5}} \right )}}{10} + \frac {3 \sqrt {10} \sqrt {\sqrt {5} + 5} \operatorname {atan}{\left (\frac {2 \sqrt {2} \sqrt [6]{x}}{\sqrt {\sqrt {5} + 5}} - \frac {\sqrt {10}}{2 \sqrt {\sqrt {5} + 5}} + \frac {\sqrt {2}}{2 \sqrt {\sqrt {5} + 5}} \right )}}{10} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________